Known vulnerabilities in Debian coq (Debian package) 8.2.pl1+dfsg-6+b1

8.12.0-3+b3 8.12.0-3+b2 8.12.0-3+b1 8.12.0-3 8.12.0-2 8.12.0 8.12.0-1 8.1.pl3+dfsg-1+b1 8.1.pl3+dfsg-1+b2 8.2.pl1+dfsg-6+b1 8.2.pl1+dfsg-6+b2 8.2.pl2+dfsg-1+b1 8.3.pl1+dfsg-1+b1 8.3.pl4+dfsg-1+b1 8.4pl2dfsg-1+b1 8.4pl2dfsg-2+b1 8.4pl4dfsg-1+b1 8.5-2+b1 8.5-2+b2 8.6-4+b1 8.6-4+b2 8.6-5+b1 8.9.0-1+b1 8.9.0-1+b2 8.9.1-2+b1 8.9.1-2+b2 8.9.1-5+b1 8.11.0-1+b1 8.11.1~pre1 8.11.0 8.9.0 8.6 8.4pl4dfsg 8.11.1~pre1-1 8.11.0-1 8.9.1-5 8.9.1-4 8.9.1-3 8.10.2-1 8.9.1-2 8.9.1-1 8.9.0-1 8.8.2-1 6.3.1-2.0.1 8.3~beta0+13298-1 8.3~beta0+13323-1 8.3~rc1+dfsg-1 8.3+dfsg-1 8.3.pl2+dfsg-2~bpo60+1 8.3.pl3+dfsg-1~bpo60+1 8.4pl4dfsg-2 8.4pl4dfsg-3 8.6-5 8.5-1 8.5-2 8.6-1 8.6-2 8.6-3 8.6-4 8.5~beta2+dfsg-1 8.5~beta2+dfsg-2 8.5~beta3+dfsg-1 8.5~beta3+dfsg-2 8.4~beta+dfsg-1 8.4~beta+dfsg-2 8.4~beta+dfsg-3 8.4~beta+dfsg-4 8.4~gamma0+really8.4beta2+dfsg-1 8.4dfsg-1 8.4dfsg-2 8.4pl1dfsg-1 8.4pl2dfsg-1 8.4pl2dfsg-2 8.4pl2dfsg-3 8.4pl2dfsg-4 8.4pl3dfsg-1 8.4pl4dfsg-1 6.3.1-1 6.3.1-2 6.3.1-3 7.0-1 7.1-1 7.1-2 7.2-1 7.2-2 7.2-3 7.2-4 7.2-5 7.2-6 7.2-7 7.2-8 7.2-9 7.3-1 7.3.1-1 7.3.1-2 7.3.1-3 8.0pl1-1 8.0pl1-2 8.0pl1-3 8.0pl1-4 8.0pl1-5 8.0pl2-1 8.0pl2-2 8.0pl2-3 8.0pl2-4 8.0pl3-1 8.0pl3-2 8.0pl3+8.1alpha-1 8.0pl3+8.1alpha-2 8.0pl3+8.1beta-1 8.0pl3+8.1beta.2-1 8.1~gamma-1 8.1~gamma-2 8.1~gamma-3 8.1~gamma-4 8.1+dfsg-1 8.1+dfsg-2 8.1+dfsg-3 8.1+dfsg-4 8.1+dfsg-5 8.1+dfsg-6 8.1.pl1+dfsg-1 8.1.pl1+dfsg-2 8.1.pl1+dfsg-3 8.1.pl2+dfsg-1 8.1.pl2+dfsg-2 8.1.pl2+dfsg-3 8.1.pl3+dfsg-1 8.2~beta4+dfsg-1 8.2~beta4+dfsg-2 8.2~rc2+dfsg-1 8.2~rc2+dfsg-2 8.2~rc2+dfsg-3 8.2-1+dfsg-1 8.2-1+dfsg-2 8.2.pl1+dfsg-1 8.2.pl1+dfsg-2 8.2.pl1+dfsg-3 8.2.pl1+dfsg-4 8.2.pl1+dfsg-5 8.2.pl1+dfsg-6 8.2.pl2+dfsg-1 8.2.pl2+dfsg-2 8.3.pl1+dfsg-1 8.3.pl1+dfsg-2 8.3.pl2+dfsg-1 8.3.pl2+dfsg-2 8.3.pl3+dfsg-1 8.3.pl3+dfsg-2 8.3.pl4+dfsg-1 8.3.pl4+dfsg-2